CINECA IRIS Institutional Research Information System

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 95 a 114 di 323
Titolo Data di pubblicazione Autore(i) File
Fair Subtyping for Multi-Party Session Types 2011 Padovani, Luca
Fair Subtyping for Open Session Types 2013 Padovani, Luca
Family-based Analysis of Type Safety for Delta-Oriented Software Product Lines 2012 Ferruccio Damiani; Ina Schaefer
Fault Tolerant Web Service Orchestration by Means of Diagnosis 2006 L. ARDISSONO; R. FURNARI; A. GOY; G. PETRONE; M. SEGNAN
Fickle: Dynamic object re-classification. 2001 DROSSOPOULOU S.; DAMIANI F.; M. DEZANI; GIANNINI P.
FJMIP: A calculus for a modular object initialization 2007 V. BONO; J. KUS'MIEREK
A Formal Account of Contracts for Web Services 2006 Carpineti, S.; Castagna, G.; Laneve, C.; Padovani, Luca
Formal Encoding of Drama Ontology. 2005 Rossana Damiano;Vincenzo Lombardo;Antonio Pizzo
A Framework for the Development of Distributed, Context-aware Adaptive Hypermedia Applications 2008 L. Ardissono; A. Goy; G. Petrone
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 2015 ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
From field-based coordination to aggregate computing 2018 Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
From Interoperable User Model to Interoperable User Modeling 2006 F. CARMAGNOLA; F. CENA
From local pattern mining to relevant bi-cluster characterization 2005 R. G. Pensa; J-F. Boulicaut
From Time Petri Nets to Timed Automata: an Untimed Approach 2007 D. D'APRILE; S. DONATELLI; A. SANGNIER; J. SPROSTON
FScaFi : A Core Calculus for Collective Adaptive Systems Programming 2020 Casadei R.; Viroli M.; Audrito G.; Damiani F.
A Game Interpretation of Retractable Contracts 2016 Barbanera, Franco; de’ Liguoro, Ugo
Gaussian processes and neuronal modeling 2005 E. DI NARDO; A. NOBILE; E. PIROZZI; L.M. RICCIARDI
A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases 2015 Anselma, Luca; Piovesan, Luca; Sattar, Abdul; Stantic, Bela; Terenziani, Paolo
A Generalized Commitment Machine for 2CL Protocols and Its Implementation 2013 Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti
GeoDrinking: how to extract value from an extended social wine drinking experience 2011 A. Marcengo; A. Rapp
Mostrati risultati da 95 a 114 di 323
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile